- корректная формальная система
- correct formal system
Русско-английский научно-технический словарь Масловского. 2015.
корректная формальная система
Look at other dictionaries:
КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… … Математическая энциклопедия
